1. Advances in knowledge Representation, Logic programming, and Abstract Argumentation
Author: \ [edited by] Thomas Eiter...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Artificial intelligence,Logic programming.,هوش مصنوعی,برنامهنویسی منطقی.,a03,a04,a03,a04
Classification :
TJ
211
.
A3
2015
E-Book
,
2. <An> Introduction to Default Logic
Author: Philippe Besnard
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Artificial Intelligence,Logic programming,Logic
Classification :
Q
،
335
،.
B49
،
1989
3. An introduction to default logic
Author: Besnard, Philippe
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Artificial intelligence,، Logic programming,، Logic
Classification :
Q
335
.
B49
1989
4. Answer set programming /
Author: by Vladimir Lifschitz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic programming.,Artificial intelligence.,Logic programming.
Classification :
QA76
.
63
5. Approche logique de lintelligence artificielle
Author: Par Andre Thayse... ]et al.[
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Artificial intelligence , Logic programming
Classification :
Q
335
.
A675
6. Artificial intelligence in simulation
Author: FUTO,IVAN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
Classification :
Q
335
.
F87
7. Constraint Solving and Language Processing
Author: edited by Denys Duchier, Yannick Parmentier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
8. Correct reasoning
Author: Esra Erdem ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence,Logic programming
Classification :
QA76
.
63
.
C67
2012eb
9. Distributed constraint logic programming
Author: Leung, Ho-Fung.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
Classification :
QA
76
.
63
.
L48
1993
10. Distributed constraint logic programming
Author: Leung, Ho-Fung.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
Classification :
QA
76
.
63
.
L48
1993
11. From modallogic to deductive databases
Author: / editor Andre Thayse, authors Paul Gochet...
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Artificial intelligence,Logic programming
Classification :
Q
335
.
F76
1989
12. Handbook of logic in artificial intelligence and logic programming
Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
H36
1993
13. Handbook of logic in artificial intelligence and logic programming
Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming , Artificial intelligence , Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
H36
1993
14. Handbook of logic in artificial intelligence and logic programming
Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
H36
1993
15. Handbook of logic in artificial intelligence and logic programming
Author: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
H26
16. Inductive logic programming
Author: Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence,Logic programming,Machine learning
Classification :
QA76
.
63
I52
2012eb
17. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
Author: Franz Baader, Andrei Voronkov )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3452
18. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
Author: Matthias Baaz, Andrei Voronkov )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
2514
19. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings
Author: / Geoff Sutcliffe, Andrei Voronkov (eds.)
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses
Classification :
005
.
115
I61L
2005
20. Logic grammars
Author: Abramson, Harvey
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Artificial intelligence
Classification :
QA
76
.
6
.
A26
1989
